💻 Programming languages - matmat · Scour

Functional Logic Program Transformations

arxiv.org·14h

🔗Functional Compilers

Making an LSP for great good

thunderseethe.dev·19h·

Discuss: Lobsters, Hacker News

🌳Incremental Parsing

How to Write Your Own Programming Language in C#

codemag.com·2d

🔗Concatenative Programming

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·7h

📊Static Analysis

Kolmogorov Complexity

en.wikipedia.org·7h·

Discuss: Hacker News

🧮Kolmogorov Complexity

Why not tail recursion?

futhark-lang.org·1d·

Discuss: Lobsters, Hacker News

🐚Shell Monads

Subterms Modulo Theories I

philipzucker.com·2d

🎯Automata theory

Simplex, a workflow specification language for autonomous agents

github.com·22h·

Discuss: Hacker News

Alexis King’s Blog

lexi-lambda.github.io·1d

🎯Gradual Typing

The Parable of the Languages (2002)

web.archive.org·1d·

Discuss: Lobsters

🛠Language Design

From LLMs to Agents in Programming: The Impact of Providing an LLM with a Compiler

arxiv.org·14h

🏭Compiler Backends

abelianization of an additive category in nLab

ncatlab.org·2h

🧮Algebraic Archives

Writing your first compiler

popovicu.com·2d·

Discuss: Hacker News, r/golang

📝Compiler Design

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·2h·

Discuss: Hacker News

🤝Unification Algorithms

Evolution of LLMs use by a programmer

asfaload.com·2h·

Discuss: Hacker News

🧩WASM Components

Type-safe eval in Grace

haskellforall.com·1d·

Discuss: Lobsters, Hacker News

💧Liquid Types

Python, Is It Being Killed by Incremental Improvements?

stefan-marr.de·1d

📏Code Metrics

Designing a Programming Language for the Desert

futhark-lang.org·3h·

Discuss: Hacker News

🔗Functional Compilers

Conversation: LLMs and the what/how loop

martinfowler.com·4h

🧩WASM Components

Building a mini PyTorch in C++ from scratch as a high school student...

dev.to·6h·

Discuss: DEV

🚀SIMD Parsing

Loading more...